Interactive Theorem Proving
Paperback
Published 02 Aug 2011
Save $6.11
- RRP $61.51
- $55.40
Search for "M C J D van Eekelen"
5 results
-
$6.11off
-
$6.87off
Foundational and Practical Aspe...
Paperback
Published 13 Jul 2012Save $6.87
- RRP $54.67
- $47.80
-
$8.75off
Foundational and Practical Aspe...
Paperback
Published 27 Sep 2016Save $8.75
- RRP $61.51
- $52.76
-
Term Graph Rewriting
Hardback
Published 22 Apr 1993 -
Functional Programming and Para...
Book
Published 30 Apr 1993